Software Change Contracts
نویسندگان
چکیده
منابع مشابه
A Software Change Contracts
Software errors often originate from incorrect changes, including incorrect program fixes, incorrect feature updates and so on. Capturing the intended program behavior explicitly via contracts is thus an attractive proposition. In our recent work, we had espoused the notion of “change contracts” to express the intended program behavior changes across program versions. Change contracts differ fr...
متن کاملSoftware Agents and Contracts
In the current economical context, characterized by the existence of a global society, the access to information is crucial for any economical and social development; yet, important technological challenges still remain. The representation, maintenance, and querying of information is a central part of this problem. How can we obtain the adequate information at the adequate time? How can we supp...
متن کاملDeployment Contracts for Software Components
Today’s approaches to software architecture mostly regard components to be black boxes with interfaces. A component’s interface is made up of signatures of operations offered by the component. The interface is the only entity visible outside of component. This means that component composition can be done only at the interface level since component’s interiors are hidden in the black box. Althou...
متن کاملEmbedded Software Development: Components and Contracts
This paper presents a new approach to building software for embedded systems, based on the use of components in combination with contracts. The contracts specify the non-functional (resource) requirements of the different components in the system. This is especially important in embedded systems, since these systems are resourceconstrained. Our approach includes tool support for building embedd...
متن کاملVerification of Software Product Lines Using Contracts
Software product lines are widely used to achieve high reuse of code artifacts for similar software products. While there are many efficient techniques to implement product lines, such as feature-oriented programming, the analysis and verification of product lines got only little attention so far. But as product lines are increasingly used in safety critical scenarios, efficient verification te...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Software Engineering and Methodology
سال: 2015
ISSN: 1049-331X,1557-7392
DOI: 10.1145/2729973